produce the proofs of a statement